Design and analysis techniques for concurrent blackboard systems

Design and analysis techniques for concurrent blackboard systems

1 Design and Analysis Tools for Concurrent Blackboard Systems

The blackboard is a centralized global data structure, often partitioned in a hierarchical manner, used to represent the problem domain. The blackboard is also used to allow inter-knowledge source communication and acts as a shared memory visible to all of the knowledge sources. A knowledge source is a highly specialized, highly independent process that takes inputs from the blackboard data str...

Tractable and Compositional Techniques for Behaviour Analysis of Concurrent Systems

ion of Context Constraints Parallel Composition The minimised LTS can be used for subsequent analysis of larger (sub)systems original system specification select Contextual Local Analysis a minimised composite LTS of the subsystem LTSs of processes in a system component LTSs in a subsystem A transparent Interface Process component LTSs in the context Figure 1-2: A Schematic Diagram of Contextua...

Design Alternatives for Parallel and Distributed Blackboard Systems

Since its inception, the blackboard paradigm has been viewed as particularly appropriate for parallel and distributed hardware architectures. Yet, the paradigm’s multiprocessing potential remains largely untapped. The availability of multiprocessing hardware and languages in conjunction with tools for building blackboard applications is sparking renewed interest in multiprocessing blackboard ar...

Blackboard Systems

Blackboard systems are not new technology. The first blackboard system, the Hearsay-II speech understanding system [1], was developed nearly twenty years ago. While the basic features of Hearsay-II remain in today’s blackboard systems, numerous advances and enhancements have been made as a result of experience gained in using blackboard systems in widely varying application areas. Unlike most A...